$\forall$$r$:rationals. qabs($r$) $\in$ rationals